Temporal logic - PDFSEARCH.IO - Document Search Engine

Temporal logic
Results: 715

#	Item
291	A General Framework for Expressing Preferences in Causal Reasoning and Planning Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 16:27:00 Logic in computer science Theoretical computer science Decision theory Linear temporal logic Temporal logic Preference Planning Domain Definition Language Fluent Utility Logic Automated planning and scheduling Mathematical logic
292	Flexible Execution of Partial Order Plans With Temporal Constraints Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-11-29 11:25:30 Planning Domain Definition Language Runtime verification Coordination Linear temporal logic Modal logic Temporal logic Logic Philosophical logic Automated planning and scheduling
293	Model-Checking Overview of Automated Verification SW/HW SW/HW artifact Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-06 13:57:58 Mathematical logic Formal languages Logical syntax Philosophy of language Interpretation Computation tree logic Well-formed formula Function Kripke structure Logic Mathematics Temporal logic
294	A sequence approach to linear perfect hash families∗ S. G. Barwick and Wen-Ai Jackson School of Pure Mathematics, University of Adelaide, Adelaide 5005, Australia May 12, 2006 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-05-12 17:59:13 Formal languages Algebra Dual space Linear algebra Interpretation Golden ratio base Linear temporal logic Mathematical analysis Mathematics Functional analysis
295	Spatial Validation Academic References Submitted To: Program Manager Add to Reading List Source URL: vwfs.refractions.net Language: English - Date: 2003-08-29 19:07:32 Cartography Geodesy Geographic information system Spatial–temporal reasoning Spatial database First-order logic Geospatial analysis Geospatial metadata PostGIS Science Mathematical logic Logic
296	Jointly Combining Implicit Constraints Improves Temporal Ordering Nathanael Chambers and Dan Jurafsky Department of Computer Science Stanford University Stanford, CA 94305 {natec,jurafsky}@stanford.edu Add to Reading List Source URL: cs.stanford.edu Language: English - Date: 2008-09-30 12:05:11 Technical communication TimeML Transitive closure Equivalence relation Transitivity Binary relation Transitive set Modal logic Computing Logic Mathematical logic
297	Joseph MuscatLogic Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2014-08-12 07:28:59 Propositional calculus Logical truth Formal languages Philosophy of language Substitution Symbol Function Proposition Linear temporal logic Logic Mathematics Mathematical logic
298	J MUSCAT 1 Introductory Mathematics Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2009-03-05 06:40:09 Mathematical logic Model theory Entailment Universal quantification Μ operator Linear temporal logic Logic Mathematics Constructible universe
299	Temporal Logic Patterns of Dynamical Behaviours: Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock François Fages, Pauline Traynard Inria Paris-Rocquencourt, France Background: Temporal logics are Add to Reading List Source URL: ws9.websitepanelonline.com Language: English - Date: 2014-09-08 00:30:36 Period CLOCK Cell cycle Circadian rhythms Biology Sleep
300	Linear temporal logi for regular ost fun tions Denis Kuperberg Liafa/CNRS/Université Paris 7, Denis Diderot, Fran e Regular ost fun tions have been introdu ed re ently as an extension to the notion of regular languag Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Semigroup Model theory Linear temporal logic Temporal logic Algebraic structures

UPDATE